int disk_readSector(uint32_t sector, uint8_t *  buf);
